The set of all n-tuples for which the i-th component is an element of G_i and the operation is componentwise. In symbols,